Measures in Euclidean Point-Free Geometry (an exploratory paper)
نویسندگان
چکیده
We face with the question of a suitable measure theory in Euclidean point-free geometry and we sketch out some possible solutions. The proposed measures, which are positive invariant respect to movements, based on notion infinitesimal masses, i.e. masses whose associated supports form sequence finer partitions.
منابع مشابه
Spatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملEuclidean Geometry before non-Euclidean Geometry
In [3], in my argument for the primacy of Euclidean geometry on the basis of rigid motions and the existence of similar but non-congruent triangles, I wrote the following: A: “The mobility of rigid objects is now recognized as one of the things every normal human child learns in infancy, and this learning appears to be part of our biological progaramming.” B. “. . . we are all used to thinking ...
متن کاملCase Analysis in Euclidean Geometry: An Overview
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as the computer system CDEG. The computational complexity of determining whether or not a given diagram is satisfiable is also briefly discussed. 1 A Diagrammatic Formal System To begin with, consider Euclid’s first propos...
متن کاملLemmas in Euclidean Geometry
Second proof. Let O be the circumcenter of ABC and let ω be the circle centered at D with radius DB. Let lines AB and AC meet ω at P and Q, respectively. Since ∠PBQ = ∠BQC+∠BAC = 1 2 (∠BDC + ∠DOC) = 90, we see that PQ is a diameter of ω and hence passes through D. Since ∠ABC = ∠AQP and ∠ACB = ∠APQ, we see that triangles ABC and AQP are similar. If M is the midpoint of BC, noting that D is the m...
متن کاملGraded Inclusion and Point - Free Geometry
Inspired to some researches of A. N. Whitehead, we propose an approach to pointfree geometry based on the notions of “region” and of “graded inclusion” between regions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2022
ISSN: ['1425-3305', '2300-9802']
DOI: https://doi.org/10.12775/llp.2022.031